Section: New Software and Platforms

archsat

Keywords: Automated theorem proving - First-order logic - Propositional logic

Functional Description: Archsat is an automated theorem prover aimed at studying the integration of first-order theorem prover technologies, such as rewriting, into SMT solvers.

• Contact: Guillaume Bury

• URL: https://gforge.inria.fr/projects/archsat